разрешимость проблемы

См. также в других словарях:

• Разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия

• разрешимость (задачи, проблемы) — — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN solvability …   Справочник технического переводчика

• Открытые математические проблемы — Открытые (нерешённые) математические проблемы  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна… …   Википедия

• Алгоритмическая разрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если …   Википедия

• АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …   Математическая энциклопедия

• КАРТАНА ТЕОРЕМА — 1) К. т. о старшем векторе: пусть g комплексная полупростая алгебра Ли, ei, fi, hi, i=i,..., r ее канонические образующие, т. е. линейно независимые образующие, между к рыми имеются следующие соотношения: где а ii=2, aij неположительные целые… …   Математическая энциклопедия

• ЛЁВЕНХЕЙМ — (Löwenheim), Леопольд (1878–1940) – нем. логик и математик. Осн. работы Л. посвящены исследованию разрешения проблемы для узкого предикатов исчисления. Он доказал, что решение этой проблемы в общем случае сводится к ее решению для случая, когда… …   Философская энциклопедия

• ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

• АБЕЛЯР —         (Abelard, Abailard) Пьер (1079, Падле, 21.4.1142, аббатство Сен Марсель, близ Шалон сюр Сон), франц. философ, теолог и поэт. Учился у Рос целина и Гильома из Шамио. В 1113 открыл собств. школу, привлекшую множество учеников. Трагич.… …   Философская энциклопедия

• ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

• Болонкин, Александр Александрович — Проверить информацию. Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье. На странице обсуждения должны быть пояснения …   Википедия